Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
31	Parametricity and Proving Free Theorems for Functional-Logic Languages Stefan Mehner ∗ Daniel Seidel† Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-12-08 09:42:38 Theoretical computer science Models of computation Logic in computer science Mathematical logic Software engineering Denotational semantics Computability theory Symbol Proof theory Lambda calculus Generalised Whitehead product Programming Computable Functions
32	c 2005 Cambridge University Press JFP 15 (6), Meta-Programming through Typeful Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-06-23 21:20:00 Software engineering Theoretical computer science Logic Logic programming Models of computation Functional languages Computability theory Lambda calculus Substitution Standard ML Higher-order abstract syntax Security type system
33	What can a philosopher and logician do for your enterprise? v. 3, A series of un-ordered top ten lists with brief, non-exhaustive annotations to answer the question above follows. Top ten skills concerning philosophy in Add to Reading List Source URL: philosopher-animal.com Language: English - Date: 2006-11-11 18:49:37 Logic Philosophy Science Formal sciences Belief Thought Computability theory Theoretical computer science Mathematical logic Argument ChurchTuring thesis Computation
34	Is Bioinformatics Possible? Philosophical problems and opportunities Johan Nyström-Persson, Level Five Co., Ltd and Australia-China Centre for Wheat Improvement Add to Reading List Source URL: www.monomorphic.org Language: English - Date: 2016-02-21 03:39:18 Theoretical computer science Alan Turing Computability theory Mathematics Software engineering Formal methods Models of computation Turing machine Turing Lambda calculus Affymetrix Computer science
35	An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Theoretical computer science Mathematical logic Software engineering Computability theory Models of computation Logic in computer science Programming language semantics Denotational semantics Recursion Negation True quantified Boolean formula Mathematical proof
36	Introduction to Type Theory Herman Geuvers Radboud University Nijmegen, The Netherlands Technical University Eindhoven, The Netherlands 1 Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-09-23 10:50:36 Mathematics Mathematical logic Theoretical computer science Computability theory Proof theory Logic in computer science Type theory Logic programming Lambda calculus CurryHoward correspondence Substitution Generalised Whitehead product
37	Lines Missing Every Random Point∗ Jack H. Lutz† Neil Lutz‡ Abstract Add to Reading List Source URL: paul.rutgers.edu Language: English - Date: 2014-07-23 19:14:22 Mathematical analysis Computability theory Mathematics Theory of computation Theoretical computer science Martingale theory Stochastic processes Kakeya set Real analysis Computable function Martingale Computable number
38	02157 Functional Programming - Lecture 8: Tail recursive erativeunctions Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-01-17 16:09:56 Software engineering Computer programming Recursion Subroutines Control flow Computability theory Theoretical computer science Functional programming Tail call Continuation Factorial
39	Issues in Multimedia Authoring Lecture 10: Limitations of Computers Keith Douglas Summary Add to Reading List Source URL: philosopher-animal.com Language: English - Date: 2007-04-18 22:48:16 Mathematics Theoretical computer science Theory of computation Structural complexity theory Computability theory Halting problem Mathematical proof Undecidable problem Negation Reductio ad absurdum Reduction Square root of 2
40	All-Termination(SCP) Panagiotis Manolios and Aaron Turon Northeastern University {pete,turon}@ccs.neu.edu Abstract. We recently introduced the All-Termination(T ) problem: given a termination solver T and a function F , Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2010-01-10 16:47:16 Mathematical analysis Mathematics Analysis Functions and mappings Computability theory Static program analysis Termination analysis Big O notation Derivative Bijection Expected value Recursion